منابع مشابه
Integrated Debugging of Modelica Models
The high abstraction level of equation-based object-oriented (EOO) languages such as Modelica has the drawback that programming and modeling errors are often hard to find. In this paper we present integrated static and dynamic debugging methods for Modelica models and a debugger prototype that addresses several of those problems. The goal is an integrated debugging framework that combines class...
متن کاملStatic and Dynamic Debugging of Modelica Models
The high abstraction level of equation-based objectoriented languages (EOO) such as Modelica has the drawback that programming and modeling errors are often hard to find. In this paper we present static and dynamic debugging methods for Modelica models and a debugger prototype that addresses several of those problems. The goal is an integrated debugging framework that combines classical debuggi...
متن کاملQualitative Reasoning with Modelica Models
Qualitative reasoning can play an important role in early stage design. Currently, engineers explore the design space using simulation models built in languages such as Modelica. To make qualitative reasoning useful to them, designs specified in their languages must be translated into a qualitative modeling language for analysis. The contribution of this paper is a sound and effective mapping b...
متن کاملAn Integrated SystemC Debugging Environment
Since its first release the system level language SystemC had a significant impact on various areas in VLSI-CAD. One remarkable benefit of SystemC lies in the support of abstraction levels beyond RTL. But being able to implement complex System-on-Chip (SoC) designs in SystemC raises the necessity of new techniques to support debugging, system exploration, and verification. We present an integra...
متن کاملTowards an Integrated Debugging Environment
With recent research showing that consistency based diagnosis can be used to model programs written in imperative programming languages for debugging purposes, it has been possible to develop debugging environments that provide interactive support to the developer, homing in on individual faults within a few interactions. In addition to complexity results, this paper discusses how the results o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Modeling, Identification and Control: A Norwegian Research Bulletin
سال: 2014
ISSN: 0332-7353,1890-1328
DOI: 10.4173/mic.2014.2.3